例句與造句

1. This is necessarily true of all classical modal logics.
2. In a classical modal logic, each can be expressed by the other with negation:
3. For instance, G鰀el showed that all theorems from intuitionistic logic have an equivalent theorem in the classical modal logic S4.
4. In classical modal logic, therefore, either the notion of possibility or necessity may be taken to be basic, where these other notions are defined in terms of it in the manner of De Morgan duality.
5. In English, the schema reads : If possibly everything is F, then everything is possibly F . It is equivalent in a classical modal logic ( but not necessarily in other formulations of modal logic ) to
6. It's difficult to find classical modal logic in a sentence. 用classical modal logic造句挺難的